1. Graph-Based Proof Procedures for Horn Clauses
پدیدآورنده : \ Stan Raatz
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic programming,Horn clauses,برنامهنویسی منطقی
رده :
E-Book
,
